    <p>Задание для  ВАСИЛЬЕВ НИКОЛАЙ НИКОЛАЕВИЧ</p>

    <h3>Таблица кодирования</h3>

    <table>
        <tr>
            <td>А</td>
            <td>x1</td>
        </tr>
        <tr>
            <td>Б</td>
            <td>x5</td>
        </tr>
        <tr>
            <td>В</td>
            <td>x2</td>
        </tr>
        <tr>
            <td>Г</td>
            <td>x4</td>
        </tr>
        <tr>
            <td>Д</td>
            <td>x6</td>
        </tr>
        <tr>
            <td>Е</td>
            <td>x6</td>
        </tr>
        <tr>
            <td>Ж</td>
            <td>x4</td>
        </tr>
        <tr>
            <td>З</td>
            <td>x3</td>
        </tr>
        <tr>
            <td>И</td>
            <td>x3</td>
        </tr>
        <tr>
            <td>Й</td>
            <td>x0</td>
        </tr>
        <tr>
            <td>К</td>
            <td>x7</td>
        </tr>
        <tr>
            <td>Л</td>
            <td>x0</td>
        </tr>
        <tr>
            <td>М</td>
            <td>x3</td>
        </tr>
        <tr>
            <td>Н</td>
            <td>x7</td>
        </tr>
        <tr>
            <td>О</td>
            <td>x4</td>
        </tr>
        <tr>
            <td>П</td>
            <td>x5</td>
        </tr>
        <tr>
            <td>Р</td>
            <td>x0</td>
        </tr>
        <tr>
            <td>С</td>
            <td>x4</td>
        </tr>
        <tr>
            <td>Т</td>
            <td>x5</td>
        </tr>
        <tr>
            <td>У</td>
            <td>x7</td>
        </tr>
        <tr>
            <td>Ф</td>
            <td>x2</td>
        </tr>
        <tr>
            <td>Х</td>
            <td>x5</td>
        </tr>
        <tr>
            <td>Ц</td>
            <td>x1</td>
        </tr>
        <tr>
            <td>Ч</td>
            <td>x2</td>
        </tr>
        <tr>
            <td>Ш</td>
            <td>x2</td>
        </tr>
        <tr>
            <td>Щ</td>
            <td>x0</td>
        </tr>
        <tr>
            <td>Ы</td>
            <td>x1</td>
        </tr>
        <tr>
            <td>Ь</td>
            <td>x6</td>
        </tr>
        <tr>
            <td>Э</td>
            <td>x1</td>
        </tr>
        <tr>
            <td>Ю</td>
            <td>x3</td>
        </tr>
        <tr>
            <td>Я</td>
            <td>x7</td>
        </tr>
        <tr>
            <td>пробел</td>
            <td>x5</td>
        </tr>
    </table>

    <h3>Правила:</h3>

    <p>s -> x2&#215;1 x4 a; s -> x2&#215;3 x0 b; s -> x6 c; s -> x6 f; a -> x2 d; a -> x5; b -> x2 e; b -> x5; c -> x2 e; c -> x5; d -> x7 s; d -> x3; e -> x7 s; e -> x3; f -> x7&#215;4 x0&#215;1; f -> x0&#215;4 x0&#215;1; f -> x5&#215;7 x1; </p>

    <h3>Правила автоматной грамматики:</h3>

    <p>s -> x2s1; s1 -> x1s2; s2 -> x4a; s -> x2s3; s3 -> x3s4; s4 -> x0b; s -> x6c; s -> x6f; a -> x2d; a -> x5; b -> x2e; b -> x5; c -> x2e; c -> x5; d -> x7s; d -> x3; e -> x7s; e -> x3; f -> x7f1; f1 -> x4f2; f2 -> x0f3; f3 -> x1; f -> x0f4; f4 -> x4f5; f5 -> x0f6; f6 -> x1; f -> x5f7; f7 -> x7f8; f8 -> x1; </p>

    <p>Всего 29 правил.</p>

    <h3>Именование состояний:</h3>

    <p>q0 -> s; q1 -> s1; q2 -> s2; q3 -> s3; q4 -> s4; q5 -> a; q6 -> b; q7 -> c; q8 -> d; q9 -> e; q10 -> f; q11 -> f1; q12 -> f2; q13 -> f3; q14 -> f4; q15 -> f5; q16 -> f6; q17 -> f7; q18 -> f8; </p>

    <h3>Таблица переходов недетерминированного автомата:</h3>

    <table>
        <tr>
            <th>state</th>
            <th>x0</th>
            <th>x1</th>
            <th>x2</th>
            <th>x3</th>
            <th>x4</th>
            <th>x5</th>
            <th>x6</th>
            <th>x7</th>
        </tr>
        <tr>
            <td> q0 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q1, q3]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q7, q10]</td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q1 </td>
            <td><hr/></td>
            <td>[q2]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q2 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q5]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q3 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q4]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q4 </td>
            <td>[q6]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q5 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q8]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q6 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q9]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q7 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q9]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q8 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q0]</td>
        </tr>
        <tr>
            <td> q9 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q0]</td>
        </tr>
        <tr>
            <td> q10 </td>
            <td>[q14]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q17]</td>
            <td><hr/></td>
            <td>[q11]</td>
        </tr>
        <tr>
            <td> q11 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q12]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q12 </td>
            <td>[q13]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q13 </td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q14 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q15]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q15 </td>
            <td>[q16]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q16 </td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
        <tr>
            <td> q17 </td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td>[q18]</td>
        </tr>
        <tr>
            <td> q18 </td>
            <td><hr/></td>
            <td>[exit]</td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
            <td><hr/></td>
        </tr>
    </table>




 